]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d209bc6) | patch
extensionPrefs: Improve handling of OutOfDate extensions
authorFlorian Müllner <fmuellner@gnome.org>
Sat, 6 Sep 2014 13:27:52 +0000 (15:27 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Sat, 6 Sep 2014 20:06:23 +0000 (22:06 +0200)
commit593acb954d096dcc656176eefb8ef55dcf9b2394
treedbebd71d0c6617dd673dc5bc81faa87c20c14ccctree | snapshot
parentd209bc69b6c71e463816a03b41cb6522e4082365commit | diff
extensionPrefs: Improve handling of OutOfDate extensions

Our current UI is horrible in dealing with outdated extensions - we
don't give users any indication at all that something is not working as
expected (unless hiding the prefs button as we did until the last commit
counts).
To fix this, make the enable switch insensitive to indicate OutOfDate
extensions.

https://bugzilla.gnome.org/show_bug.cgi?id=736185
js/extensionPrefs/main.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.